bench_dir=$1
exec_bin=$2

pbs_dir=$bench_dir/pbs
create_pbs_bin=scripts/run_basic/syntcomp23/new_sed2.sh
mkdir -p $pbs_dir

sh $create_pbs_bin $bench_dir $exec_bin Random/Lydia/case_03_50    > $pbs_dir/case_03.pbs
sh $create_pbs_bin $bench_dir $exec_bin Random/Lydia/case_04_50    > $pbs_dir/case_04.pbs
sh $create_pbs_bin $bench_dir $exec_bin Random/Lydia/case_05_50    > $pbs_dir/case_05.pbs
sh $create_pbs_bin $bench_dir $exec_bin Random/Lydia/case_06_50    > $pbs_dir/case_06.pbs
sh $create_pbs_bin $bench_dir $exec_bin Random/Lydia/case_07_50    > $pbs_dir/case_07.pbs
sh $create_pbs_bin $bench_dir $exec_bin Random/Lydia/case_08_50    > $pbs_dir/case_08.pbs
sh $create_pbs_bin $bench_dir $exec_bin Random/Lydia/case_09_50    > $pbs_dir/case_09.pbs
sh $create_pbs_bin $bench_dir $exec_bin Random/Lydia/case_10_50    > $pbs_dir/case_10.pbs
